Synthesis of Safety-Critical Real-Time Systems
نویسندگان
چکیده
منابع مشابه
Development of Safety-Critical Real-Time Systems
This paper presents an approach to the development of safety-critical real-time systems linking from the Requirements Language developed in the ESPRIT Project ProCoS to the Temporal Language of Transitions (TLT) speciication language developed at Siemens Corporate Research. A system is deened by a conventional mathematical model for a dynamic system where application speciic states denote funct...
متن کاملSafety Verification of Real Time Systems Serving Periodic Devices
In real-time systems response to a request from a controlled object must be correct and timely. Any late response to a request from such a device might lead to a catastrophy. The possibility of a task overrun, i.e., missing the deadline for completing a requested task, must be checked and removed during the design of such systems. Safe design of real-time systems running periodic tasks under th...
متن کاملValidation of Safety-Critical Distributed Real-Time Systems
A safety-critical distributed real-time system is an electronic system where a system failure may cause a severe hazard that will endanger human life or the environment. For the development of such systems, it is desirable to determine in an early development phase whether the system can cause such a hazardous event, before a hardware is built and before the system is in service. This thesis pr...
متن کاملCoordination of Safety-Critical Mobile Real-Time Embedded Systems
Safety-critical mobile applications running on resource-constrained embedded systems will play an increasingly important role in domains such as automotive systems, space, robotics and avionics. Such applications are composed of mobile autonomous components interacting spontaneously without any infrastructure. Therefore, to undertake safety-critical missions, the applications will have to coord...
متن کاملScheduling and timing analysis for safety critical real-time systems
The scheduling of tasks in safety critical systems such that the timing requirements are reliably met is often di cult. Safety critical systems are di erent to other systems because a failure to meet a requirement may lead to a catastrophic e ect, for example an accident leading to loss of life. For this reason, there is a greater emphasis on veri cation and validation of software than with oth...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linköping studies in science and technology
سال: 2022
ISSN: ['0345-7524']
DOI: https://doi.org/10.3384/9789179292720